- исходное высказывание
- adj
comput. Grundaussage
Универсальный русско-немецкий словарь. Академик.ру. 2011.
исходное высказывание
Смотреть что такое "исходное высказывание" в других словарях:
Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки … Википедия
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
высказывание дескриптивное — (от англ. description описание), высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыванием, соответствует реальному положению дел, высказывание считается истинным, если не соответствует… … Словарь терминов логики
высказывание описательное — (от англ. description описание), высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыванием, соответствует реальному положению дел, высказывание считается истинным, если не соответствует… … Словарь терминов логики
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами. Высказывательной формой… … Википедия
оценочное высказывание — высказывание, устанавливающее абсолютную или сравнительную ценность какого то объекта, дающее ему оценку. Логическая структура и логические связи О. в. изучаются оценок логикой, слагающейся из логики абсолютных оценок и предпочтений логики (см.:… … Словарь терминов логики
Значение Истина — Логическое высказывание утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами.… … Википедия
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
отрицание — логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его О. не является истинным, а если оно ложно, его О. не является ложным. Отрицательное высказывание… … Словарь терминов логики
приведение к абсурду — (лат. reductio ad absurdum), рассуждение, показывающее ошибочность какого то положения путем выведения из него абсурда, т. е. противоречия. Если из высказыванияА выводится как высказывание B, так и его отрицание, то верным является отрицание A.… … Словарь терминов логики
редукция к абсурду — (лат. reductio ad absurdum), рассуждение, показывающее ошибочность какого то положения путем выведения из него абсурда, т. е. противоречия. Если из высказыванияА выводится как высказывание B, так и его отрицание, то верным является отрицание A.… … Словарь терминов логики
